Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

F. H. Bradley (1846-1924) was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century and remained influential into the first half of the twentieth. Bradley, who was influenced by Hegel and also reacted against utilitarianism, was recognised during his lifetime as one of the greatest intellectuals of his gen...(展开全部)

F. H. Bradley (1846-1924) was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century and remained influential into the first half of the twentieth. Bradley, who was influenced by Hegel and also reacted against utilitarianism, was recognised during his lifetime as one of the greatest intellectuals of his gen...(展开全部)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)